双边性质
单边性质
证毕.